#!/bin/sh

wclean

# ----------------------------------------------------------------- end-of-file
